搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Proceedings of the Annual Washington Ada Symposium : Ada in the mainstream : applications and education : March 24-26, 1985, The Johns Hopkins Applied Physics Laboratory, Laurel, Maryland 0 索取号：TP11-53/E908 作者：Washington Ada Symposium (2nd : 1985 : Laurel、 Md.)、Johnson、 Joseph P.、SIGAda.、Association for Computing Machinery. Washington、 D.C. Chapter.、Applied Physics Laboratory Computer Society (Johns Hopkins University)、ACM Digital Library.、出版社：New York, N.Y. : Association for Computing Machinery, c1985		Conference proceedings : First Canadian Domestic and International Satellite Communications Conference, SCC-1983, June 14-17, 1983, Holiday Inn, Ottawa, Canada 0 索取号：TN927-53/E902/1 作者：Canadian Domestic and International Satellite Communications Conference (1st : 1983 : Ottawa、 Ont.)、Feher、 Kamilo.、Canadian Broadcasting Corporation.、DIGTECH、 Digital Communications Systems、 Inc.、IEEE Satellite Communications and Space Committee.、出版社：Amsterdam ; New York : North Holland Pub. Co. ; New York, N.Y. : Distributed in the USA/Canada [by] Elsevier Science Pub. Co., [1983]
	Advances in economics and econometrics : theory and applications : eighth World Congress 0 索取号：F224.0-532/E20041 作者：Econometric Society. World Congress (8th : 2000 : University of Washington)、Dewatripont、 M. (Mathias)、Hansen、 Lars Peter.、Turnovsky、 Stephen J.、出版社：Cambridge, U.K. ; New York : Cambridge University Press, 2003.		Advances in cryptology--CRYPTO '88 : proceedings 0 索取号：TN918/E992/1988 作者：CRYPTO '88 (1988 : University of California、 Santa Barbara)、Goldwasser、 S. (Shafi)、 1958-、出版社：Berlin ; New York : Springer-Verlag, c1990.
	Proceedings of the Conference on Digital Processing of Signals in Communications, Tuesday 6th to Friday 9th September 1977, University of Technology, Loughborough 0 索取号：TN911-53/E801 作者：Conference on Digital Processing of Signals in Communications、 Loughborough University of Technology、 1977.、Institution of Electronic and Radio Engineers.、Institution of Electrical Engineers.、Institute of Electrical and Electronics Engineers.、出版社：London : I.E.R.E., 1977.		ICC '83 : IEEE International Conference on Communications : integrating communication for world progress, Boston, Mass., June 19-22, 1983 0 索取号：TN91-53/E9015/3 作者：International Conference on Communications (1983 : Boston、 Mass.)、IEEE Communications Society.、Institute of Electrical and Electronics Engineers. Boston Section.、出版社：New York : IEEE, c1983.
	ICC '83 : IEEE International Conference on Communications : integrating communication for world progress, Boston, Mass., June 19-22, 1983 0 索取号：TN91-53/E9015/2 作者：International Conference on Communications (1983 : Boston、 Mass.)、IEEE Communications Society.、Institute of Electrical and Electronics Engineers. Boston Section.、出版社：New York : IEEE, c1983.		ICC '83 : IEEE International Conference on Communications : integrating communication for world progress, Boston, Mass., June 19-22, 1983 0 索取号：TN91-53/E9015/1 作者：International Conference on Communications (1983 : Boston、 Mass.)、IEEE Communications Society.、Institute of Electrical and Electronics Engineers. Boston Section.、出版社：New York : IEEE, c1983.
	28th Midwest Symposium on Circuits and Systems : conference proceedings, August 19-20, 1985 0 索取号：TN7-53/E20071/28 作者：Midwest Symposium on Circuits and Systems (28th : 1985)、Cole、 Joseph D.、Miller、 Edward J.、University of Louisville. Department of electrical Engineering.、出版社：New York : North-Holland, c1985.		Proceedings fifth biennial Cornell Electrical Engineering Conference : 1975 topic, active semiconductor devices for microwaves and integrated optics : conference held at Cornell University, Ithaca, New York, August 19, 20, 21, 1975 0 索取号：TN61-53/E801/5 作者：Cornell Electrical Engineering Conference (5th : 1975 : Cornell University)、Cornell University. School of Electrical Engineering.、United States. Office of Naval Research.、出版社：Ithaca, N.Y. : School of Electrical Engineering, College of Engineering, Cornell Unviersity, 1975.
	Proceedings fourth biennial Cornell Electrical Engineering Conference : 1973 topic, microwave semiconductor devices, circuits, and applications : conference held at Cornell University, Ithaca, New York, August 14, 15, 16, 1973 0 索取号：TN61-53/E801/4 作者：Cornell Electrical Engineering Conference (4th : 1973 : Cornell University)、Cornell University. School of Electrical Engineering.、United States. Office of Naval Research.、出版社：Ithaca, N.Y. : School of Electrical Engineering, College of Engineering, Cornell University, 1973.		Third Caltech Conference on Very Large Scale Integration 0 索取号：TN47-53/E903/3 作者：Caltech Conference on Very Large Scale Integration (3rd : 1983 : Pasedena、 Calif.)、Bryant、 Randal.、California Institute of Technology.、出版社：Rockville, Md. : Computer Science Press, c1983.
	1975 IEEE International Solid-State Circuits Conference : digest of technical papers 0 索取号：TN43-53/E701/1975 作者：IEEE International Solid-State Circuits Conference (1975 : Philadelphia、 Pa.)、Winner、 Lewis、 1906-、Raper、 J. A. A.、Winner、 B. K.、University of Pennsylvania.、Institute of Electrical and Electronics Engineers. Philadelphia Section.、IEEE Solid-State Circuits Council.、出版社：New York, N.Y. : Lewis Winner, 1975.		The accuracy of flow measurements by laser doppler methods : proceedings of the LDA-Symposium Copenhagen, 1975 0 索取号：TN249-53/E805/1975 作者：LDA-Symposium、 Technical University of Denmark、 1975.、Buchhave、 Preben.、Copenhagen. Polyteknisk l´reanstalt.、出版社：Skovlunde : Proceedings LDA-Symposium Copenhagen 1975, 1976.
	Proceedings of the conference on electro-optic systems in flow measurement : University of Southampton, 25th -26th September, 1972 0 索取号：TN209-53/E801/1972 作者：Conference on Electro-optic Systems in Flow Measurement (1972 : Southampton)、The Departments of Electronics and Mathematics.、Institute of Physics.、出版社：Southampton : University of Southampton, 1972.		Marketing management : strategies and programs 0 索取号：F713.5/E200313.5 作者：Guiltinan、 Joseph P.、Paul、 Gordon W.、出版社：New York : McGraw-Hill, c1994.

	Proceedings of the Annual Washington Ada Symposium : Ada in the mainstream : applications and education : March 24-26, 1985, The Johns Hopkins Applied Physics Laboratory, Laurel, Maryland 0 索取号：TP11-53/E908 作者：Washington Ada Symposium (2nd : 1985 : Laurel、 Md.)、Johnson、 Joseph P.、SIGAda.、Association for Computing Machinery. Washington、 D.C. Chapter.、Applied Physics Laboratory Computer Society (Johns Hopkins University)、ACM Digital Library.、出版社：New York, N.Y. : Association for Computing Machinery, c1985		Conference proceedings : First Canadian Domestic and International Satellite Communications Conference, SCC-1983, June 14-17, 1983, Holiday Inn, Ottawa, Canada 0 索取号：TN927-53/E902/1 作者：Canadian Domestic and International Satellite Communications Conference (1st : 1983 : Ottawa、 Ont.)、Feher、 Kamilo.、Canadian Broadcasting Corporation.、DIGTECH、 Digital Communications Systems、 Inc.、IEEE Satellite Communications and Space Committee.、出版社：Amsterdam ; New York : North Holland Pub. Co. ; New York, N.Y. : Distributed in the USA/Canada [by] Elsevier Science Pub. Co., [1983]
	Advances in economics and econometrics : theory and applications : eighth World Congress 0 索取号：F224.0-532/E20041 作者：Econometric Society. World Congress (8th : 2000 : University of Washington)、Dewatripont、 M. (Mathias)、Hansen、 Lars Peter.、Turnovsky、 Stephen J.、出版社：Cambridge, U.K. ; New York : Cambridge University Press, 2003.		Advances in cryptology--CRYPTO '88 : proceedings 0 索取号：TN918/E992/1988 作者：CRYPTO '88 (1988 : University of California、 Santa Barbara)、Goldwasser、 S. (Shafi)、 1958-、出版社：Berlin ; New York : Springer-Verlag, c1990.
	Proceedings of the Conference on Digital Processing of Signals in Communications, Tuesday 6th to Friday 9th September 1977, University of Technology, Loughborough 0 索取号：TN911-53/E801 作者：Conference on Digital Processing of Signals in Communications、 Loughborough University of Technology、 1977.、Institution of Electronic and Radio Engineers.、Institution of Electrical Engineers.、Institute of Electrical and Electronics Engineers.、出版社：London : I.E.R.E., 1977.		ICC '83 : IEEE International Conference on Communications : integrating communication for world progress, Boston, Mass., June 19-22, 1983 0 索取号：TN91-53/E9015/3 作者：International Conference on Communications (1983 : Boston、 Mass.)、IEEE Communications Society.、Institute of Electrical and Electronics Engineers. Boston Section.、出版社：New York : IEEE, c1983.
	ICC '83 : IEEE International Conference on Communications : integrating communication for world progress, Boston, Mass., June 19-22, 1983 0 索取号：TN91-53/E9015/2 作者：International Conference on Communications (1983 : Boston、 Mass.)、IEEE Communications Society.、Institute of Electrical and Electronics Engineers. Boston Section.、出版社：New York : IEEE, c1983.		ICC '83 : IEEE International Conference on Communications : integrating communication for world progress, Boston, Mass., June 19-22, 1983 0 索取号：TN91-53/E9015/1 作者：International Conference on Communications (1983 : Boston、 Mass.)、IEEE Communications Society.、Institute of Electrical and Electronics Engineers. Boston Section.、出版社：New York : IEEE, c1983.
	28th Midwest Symposium on Circuits and Systems : conference proceedings, August 19-20, 1985 0 索取号：TN7-53/E20071/28 作者：Midwest Symposium on Circuits and Systems (28th : 1985)、Cole、 Joseph D.、Miller、 Edward J.、University of Louisville. Department of electrical Engineering.、出版社：New York : North-Holland, c1985.		Proceedings fifth biennial Cornell Electrical Engineering Conference : 1975 topic, active semiconductor devices for microwaves and integrated optics : conference held at Cornell University, Ithaca, New York, August 19, 20, 21, 1975 0 索取号：TN61-53/E801/5 作者：Cornell Electrical Engineering Conference (5th : 1975 : Cornell University)、Cornell University. School of Electrical Engineering.、United States. Office of Naval Research.、出版社：Ithaca, N.Y. : School of Electrical Engineering, College of Engineering, Cornell Unviersity, 1975.
	Proceedings fourth biennial Cornell Electrical Engineering Conference : 1973 topic, microwave semiconductor devices, circuits, and applications : conference held at Cornell University, Ithaca, New York, August 14, 15, 16, 1973 0 索取号：TN61-53/E801/4 作者：Cornell Electrical Engineering Conference (4th : 1973 : Cornell University)、Cornell University. School of Electrical Engineering.、United States. Office of Naval Research.、出版社：Ithaca, N.Y. : School of Electrical Engineering, College of Engineering, Cornell University, 1973.		Third Caltech Conference on Very Large Scale Integration 0 索取号：TN47-53/E903/3 作者：Caltech Conference on Very Large Scale Integration (3rd : 1983 : Pasedena、 Calif.)、Bryant、 Randal.、California Institute of Technology.、出版社：Rockville, Md. : Computer Science Press, c1983.
	1975 IEEE International Solid-State Circuits Conference : digest of technical papers 0 索取号：TN43-53/E701/1975 作者：IEEE International Solid-State Circuits Conference (1975 : Philadelphia、 Pa.)、Winner、 Lewis、 1906-、Raper、 J. A. A.、Winner、 B. K.、University of Pennsylvania.、Institute of Electrical and Electronics Engineers. Philadelphia Section.、IEEE Solid-State Circuits Council.、出版社：New York, N.Y. : Lewis Winner, 1975.		The accuracy of flow measurements by laser doppler methods : proceedings of the LDA-Symposium Copenhagen, 1975 0 索取号：TN249-53/E805/1975 作者：LDA-Symposium、 Technical University of Denmark、 1975.、Buchhave、 Preben.、Copenhagen. Polyteknisk l´reanstalt.、出版社：Skovlunde : Proceedings LDA-Symposium Copenhagen 1975, 1976.
	Proceedings of the conference on electro-optic systems in flow measurement : University of Southampton, 25th -26th September, 1972 0 索取号：TN209-53/E801/1972 作者：Conference on Electro-optic Systems in Flow Measurement (1972 : Southampton)、The Departments of Electronics and Mathematics.、Institute of Physics.、出版社：Southampton : University of Southampton, 1972.		Marketing management : strategies and programs 0 索取号：F713.5/E200313.5 作者：Guiltinan、 Joseph P.、Paul、 Gordon W.、出版社：New York : McGraw-Hill, c1994.